Checking NestedProjectRoots (customised/NestedProjectRoots.agda).
 Checking Imports.A (customised/Imports/A.agda).
customised/NestedProjectRoots.agda:3,1-17
The file
customised/Imports/A.agda can be
accessed via several project roots. Both A and Imports.A point to
this file.
when scope checking the declaration
  import Imports.A
Checking NestedProjectRoots (customised/NestedProjectRoots.agda).
customised/NestedProjectRoots.agda:3,1-17
The file
customised/Imports/A.agda can be
accessed via several project roots. Both A and Imports.A point to
this file.
when scope checking the declaration
  import Imports.A
